Le secret et l’histoire. Variations sur un thème borgien

Variations sur un THème de Aldama et Shelah

We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...

Spécialisation et sous-typage : thème et variations

Class specialization is the most original feature of object orientation, but identifying it to subtyping leads to the well known covariance-contravariance controversy. Type safety requires contravariance while specialization needs covariance. This paper aims to precisely analyse this problem, to show how irreductible it is and the need for type errors. We show that many alternatives as multiple...

Sur un nouveau vaccin contre la septicémie hémorragique des Bovidés et le Barbone des Buffles (pasteurelloses)

Variations sur le théorème de Cassels, Ellison et Pfister

Artin [Ar] (1927) : Une fraction rationnelle f ∈ R(X1, . . . , Xn) positive sur R est une somme de carrés. Pfister [Pf] (1967) : c’est une somme de 2 carrés. En particulier pour n = 2, f ∈ 4 R(X,Y ). Cassels, Ellison, Pfister [CEP] (1971) : 4 carrés sont vraiment nécéssaires (i.e. le nombre de Pythagore de R(X, Y ) est 4, car le polynôme de Motzkin 1 + XY 4 + XY 2 − 3XY , positif ou nul, ne s’é...

Recherches biochimiques et immunologiques sur le venin des serpents